STATIC const mp_obj_int_t mpz_40000000 = {{&mp_type_int}, {.neg=0, .fixed_dig=1, .alloc=2, .len=2, .dig=(uint16_t[]){0x0, 0x4000}}};
STATIC const mp_obj_int_t mpz_40001000 = {{&mp_type_int}, {.neg=0, .fixed_dig=1, .alloc=2, .len=2, .dig=(uint16_t[]){0x1000, 0x4000}}};
STATIC const mp_obj_int_t mpz_40002000 = {{&mp_type_int}, {.neg=0, .fixed_dig=1, .alloc=2, .len=2, .dig=(uint16_t[]){0x2000, 0x4000}}};
STATIC const mp_obj_int_t mpz_40003000 = {{&mp_type_int}, {.neg=0, .fixed_dig=1, .alloc=2, .len=2, .dig=(uint16_t[]){0x3000, 0x4000}}};
STATIC const mp_obj_int_t mpz_40004000 = {{&mp_type_int}, {.neg=0, .fixed_dig=1, .alloc=2, .len=2, .dig=(uint16_t[]){0x4000, 0x4000}}};
STATIC const mp_obj_int_t mpz_40005000 = {{&mp_type_int}, {.neg=0, .fixed_dig=1, .alloc=2, .len=2, .dig=(uint16_t[]){0x5000, 0x4000}}};
STATIC const mp_obj_int_t mpz_40008000 = {{&mp_type_int}, {.neg=0, .fixed_dig=1, .alloc=2, .len=2, .dig=(uint16_t[]){0x8000, 0x4000}}};
STATIC const mp_obj_int_t mpz_40009000 = {{&mp_type_int}, {.neg=0, .fixed_dig=1, .alloc=2, .len=2, .dig=(uint16_t[]){0x9000, 0x4000}}};
STATIC const mp_obj_int_t mpz_4000c000 = {{&mp_type_int}, {.neg=0, .fixed_dig=1, .alloc=2, .len=2, .dig=(uint16_t[]){0xc000, 0x4000}}};
STATIC const mp_obj_int_t mpz_4000d000 = {{&mp_type_int}, {.neg=0, .fixed_dig=1, .alloc=2, .len=2, .dig=(uint16_t[]){0xd000, 0x4000}}};
STATIC const mp_obj_int_t mpz_4000e000 = {{&mp_type_int}, {.neg=0, .fixed_dig=1, .alloc=2, .len=2, .dig=(uint16_t[]){0xe000, 0x4000}}};
STATIC const mp_obj_int_t mpz_40014000 = {{&mp_type_int}, {.neg=0, .fixed_dig=1, .alloc=2, .len=2, .dig=(uint16_t[]){0x4000, 0x4001}}};
STATIC const mp_obj_int_t mpz_40015000 = {{&mp_type_int}, {.neg=0, .fixed_dig=1, .alloc=2, .len=2, .dig=(uint16_t[]){0x5000, 0x4001}}};
STATIC const mp_obj_int_t mpz_40028000 = {{&mp_type_int}, {.neg=0, .fixed_dig=1, .alloc=2, .len=2, .dig=(uint16_t[]){0x8000, 0x4002}}};
STATIC const mp_obj_int_t mpz_4002c000 = {{&mp_type_int}, {.neg=0, .fixed_dig=1, .alloc=2, .len=2, .dig=(uint16_t[]){0xc000, 0x4002}}};
STATIC const mp_obj_int_t mpz_4002d000 = {{&mp_type_int}, {.neg=0, .fixed_dig=1, .alloc=2, .len=2, .dig=(uint16_t[]){0xd000, 0x4002}}};
STATIC const mp_obj_int_t mpz_40034000 = {{&mp_type_int}, {.neg=0, .fixed_dig=1, .alloc=2, .len=2, .dig=(uint16_t[]){0x4000, 0x4003}}};
STATIC const mp_obj_int_t mpz_40036000 = {{&mp_type_int}, {.neg=0, .fixed_dig=1, .alloc=2, .len=2, .dig=(uint16_t[]){0x6000, 0x4003}}};
STATIC const mp_obj_int_t mpz_40037000 = {{&mp_type_int}, {.neg=0, .fixed_dig=1, .alloc=2, .len=2, .dig=(uint16_t[]){0x7000, 0x4003}}};
STATIC const mp_obj_int_t mpz_40040000 = {{&mp_type_int}, {.neg=0, .fixed_dig=1, .alloc=2, .len=2, .dig=(uint16_t[]){0x0, 0x4004}}};
STATIC const mp_obj_int_t mpz_40048000 = {{&mp_type_int}, {.neg=0, .fixed_dig=1, .alloc=2, .len=2, .dig=(uint16_t[]){0x8000, 0x4004}}};
STATIC const mp_obj_int_t mpz_40049000 = {{&mp_type_int}, {.neg=0, .fixed_dig=1, .alloc=2, .len=2, .dig=(uint16_t[]){0x9000, 0x4004}}};
STATIC const mp_obj_int_t mpz_40080000 = {{&mp_type_int}, {.neg=0, .fixed_dig=1, .alloc=2, .len=2, .dig=(uint16_t[]){0x0, 0x4008}}};
STATIC const mp_obj_int_t mpz_40081000 = {{&mp_type_int}, {.neg=0, .fixed_dig=1, .alloc=2, .len=2, .dig=(uint16_t[]){0x1000, 0x4008}}};
STATIC const mp_obj_int_t mpz_40082000 = {{&mp_type_int}, {.neg=0, .fixed_dig=1, .alloc=2, .len=2, .dig=(uint16_t[]){0x2000, 0x4008}}};
STATIC const mp_obj_int_t mpz_40083000 = {{&mp_type_int}, {.neg=0, .fixed_dig=1, .alloc=2, .len=2, .dig=(uint16_t[]){0x3000, 0x4008}}};
STATIC const mp_obj_int_t mpz_40084000 = {{&mp_type_int}, {.neg=0, .fixed_dig=1, .alloc=2, .len=2, .dig=(uint16_t[]){0x4000, 0x4008}}};
STATIC const mp_obj_int_t mpz_40085000 = {{&mp_type_int}, {.neg=0, .fixed_dig=1, .alloc=2, .len=2, .dig=(uint16_t[]){0x5000, 0x4008}}};
STATIC const mp_obj_int_t mpz_40086000 = {{&mp_type_int}, {.neg=0, .fixed_dig=1, .alloc=2, .len=2, .dig=(uint16_t[]){0x6000, 0x4008}}};
STATIC const mp_obj_int_t mpz_40087000 = {{&mp_type_int}, {.neg=0, .fixed_dig=1, .alloc=2, .len=2, .dig=(uint16_t[]){0x7000, 0x4008}}};
STATIC const mp_obj_int_t mpz_40088000 = {{&mp_type_int}, {.neg=0, .fixed_dig=1, .alloc=2, .len=2, .dig=(uint16_t[]){0x8000, 0x4008}}};
STATIC const mp_obj_int_t mpz_40089000 = {{&mp_type_int}, {.neg=0, .fixed_dig=1, .alloc=2, .len=2, .dig=(uint16_t[]){0x9000, 0x4008}}};
STATIC const mp_obj_int_t mpz_4008a000 = {{&mp_type_int}, {.neg=0, .fixed_dig=1, .alloc=2, .len=2, .dig=(uint16_t[]){0xa000, 0x4008}}};
STATIC const mp_obj_int_t mpz_4008c000 = {{&mp_type_int}, {.neg=0, .fixed_dig=1, .alloc=2, .len=2, .dig=(uint16_t[]){0xc000, 0x4008}}};
STATIC const mp_obj_int_t mpz_40090000 = {{&mp_type_int}, {.neg=0, .fixed_dig=1, .alloc=2, .len=2, .dig=(uint16_t[]){0x0, 0x4009}}};
STATIC const mp_obj_int_t mpz_40092000 = {{&mp_type_int}, {.neg=0, .fixed_dig=1, .alloc=2, .len=2, .dig=(uint16_t[]){0x2000, 0x4009}}};
STATIC const mp_obj_int_t mpz_40094000 = {{&mp_type_int}, {.neg=0, .fixed_dig=1, .alloc=2, .len=2, .dig=(uint16_t[]){0x4000, 0x4009}}};
STATIC const mp_obj_int_t mpz_40095000 = {{&mp_type_int}, {.neg=0, .fixed_dig=1, .alloc=2, .len=2, .dig=(uint16_t[]){0x5000, 0x4009}}};
STATIC const mp_obj_int_t mpz_40096000 = {{&mp_type_int}, {.neg=0, .fixed_dig=1, .alloc=2, .len=2, .dig=(uint16_t[]){0x6000, 0x4009}}};
STATIC const mp_obj_int_t mpz_40097000 = {{&mp_type_int}, {.neg=0, .fixed_dig=1, .alloc=2, .len=2, .dig=(uint16_t[]){0x7000, 0x4009}}};
STATIC const mp_obj_int_t mpz_40098000 = {{&mp_type_int}, {.neg=0, .fixed_dig=1, .alloc=2, .len=2, .dig=(uint16_t[]){0x8000, 0x4009}}};
STATIC const mp_obj_int_t mpz_40099000 = {{&mp_type_int}, {.neg=0, .fixed_dig=1, .alloc=2, .len=2, .dig=(uint16_t[]){0x9000, 0x4009}}};
STATIC const mp_obj_int_t mpz_4009a000 = {{&mp_type_int}, {.neg=0, .fixed_dig=1, .alloc=2, .len=2, .dig=(uint16_t[]){0xa000, 0x4009}}};
STATIC const mp_obj_int_t mpz_4009b000 = {{&mp_type_int}, {.neg=0, .fixed_dig=1, .alloc=2, .len=2, .dig=(uint16_t[]){0xb000, 0x4009}}};
STATIC const mp_obj_int_t mpz_4009d000 = {{&mp_type_int}, {.neg=0, .fixed_dig=1, .alloc=2, .len=2, .dig=(uint16_t[]){0xd000, 0x4009}}};
STATIC const mp_obj_int_t mpz_4009e000 = {{&mp_type_int}, {.neg=0, .fixed_dig=1, .alloc=2, .len=2, .dig=(uint16_t[]){0xe000, 0x4009}}};
STATIC const mp_obj_int_t mpz_400a0000 = {{&mp_type_int}, {.neg=0, .fixed_dig=1, .alloc=2, .len=2, .dig=(uint16_t[]){0x0, 0x400a}}};
STATIC const mp_obj_int_t mpz_400a2000 = {{&mp_type_int}, {.neg=0, .fixed_dig=1, .alloc=2, .len=2, .dig=(uint16_t[]){0x2000, 0x400a}}};
STATIC const mp_obj_int_t mpz_400a3000 = {{&mp_type_int}, {.neg=0, .fixed_dig=1, .alloc=2, .len=2, .dig=(uint16_t[]){0x3000, 0x400a}}};
